universal element of functor

函子的泛元